Walking at 23077  Load av. =  3.62, used 0:16:49.9 in 1:28:10
16041, 16041 FREE WORDS
(FIRST-E-ALGS compiling)
(FIRST-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)

 An ex ( sought) is: B+-++++--+++++-++-+++++-++-+++----++++

 Found 26 examples ( and 11 non-exs),  in 5.678 secs.
 A nice ratio of exs/non-exs was encountered for COMPOSE-FIRST&REAR
 Won't try to create a restricted interesting version of 
COMPOSE-FIRST&REAR.

 Filled in examples of COMPOSE-FIRST&REAR.
       0 examples existed originally on COMPOSE-FIRST&REAR.
       26 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      ((OSET A B) B)
      ((OSET B A) A)
      ((CLASS 0 D F I M) D)
      ((OSET DOUG CORDELL BRUCE) CORDELL)
      ((VECTOR A B) B)
      ((VECTOR B A) A)
      ((VECTOR B (BAG B) (CLASS) A) (BAG B))
      ((VECTOR D M I F 0) M)
      ((OSET D M I F 0) M)
      ((CLASS A B) B)
      ((OSET A B (BAG B) (CLASS)) B)
      ((OSET CORDELL DON BRUCE) DON)
      ((OSET 0 D F I M) D)
 After eliminating duplicate and already-known entries,  AM finds that.
 only 13 new,  distinct examples of COMPOSE-FIRST&REAR had to be added.



 Do-thresh raised from 356 to 396.

 This Cand used 16.153 cpu seconds.




 The top Cand is: Fill in some examples of Compose-first&first
       The 3 reasons are:
      (Anyb-exs specifically asked for some examples of 
COMPOSE-FIRST&FIRST ,  while trying to Fill in some 
Map-join-bag-of-strucs&coa-proj2 examples)
      (The range of COMPOSE-FIRST&FIRST might turn out to be the same
as its domain ,  but there are no examples around to test this 
hypothesis on)
      (Anyb-exs specifically asked for some examples of 
COMPOSE-FIRST&FIRST ,  while trying to Fill in some Obj-equal examples)


      Beginning 22nd cycle.


 Record of attempts to find examples:
(COMPOSE-FIRST&FIRST-E-ALGS compiling)
(COMPOSE-FIRST&FIRST-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
------------------------------------------------------------------------
------------------------------------------------------------------------
-------

 Found 0 examples ( and 151 non-exs),  in 7.229 secs.
 Ratio of exs to non-exs is too low ( 0 / 151); Exs are too sparse.
       AM will sometime try to generalize COMPOSE-FIRST&FIRST.
 Won't try to create a restricted interesting version of 
COMPOSE-FIRST&FIRST.

Failed.  Tried to fill in new examples of COMPOSE-FIRST&FIRST.

 This Cand used 18.324 cpu seconds.




 The top Cand is: Fill in some examples of Compose-first&final
       The 3 reasons are:
      (Anyb-exs specifically asked for some examples of 
COMPOSE-FIRST&FINAL ,  while trying to Fill in some 
Map-join-bag-of-strucs&coa-proj2 examples)
      (The range of COMPOSE-FIRST&FINAL might turn out to be the same
as its domain ,  but there are no examples around to test this 
hypothesis on)
      (Anyb-exs specifically asked for some examples of 
COMPOSE-FIRST&FINAL ,  while trying to Fill in some Obj-equal examples)


      Beginning 23rd cycle.


 Record of attempts to find examples:
(COMPOSE-FIRST&FINAL-E-ALGS compiling)
(COMPOSE-FIRST&FINAL-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
(FINAL-E-ALGS compiling)
(FINAL-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
------------------------------------------------------------------------
------------------------------------------------------------------------
-------

 Found 0 examples ( and 151 non-exs),  in 8.261 secs.
 Ratio of exs to non-exs is too low ( 0 / 151); Exs are too sparse.
       AM will sometime try to generalize COMPOSE-FIRST&FINAL.
 Won't try to create a restricted interesting version of 
COMPOSE-FIRST&FINAL.

Failed.  Tried to fill in new examples of COMPOSE-FIRST&FINAL.

 This Cand used 16.432 cpu seconds.


 No Cand on CANDS is good enuf.
 Do-thresh reduced from 394 to 262
 Must find new candidates and merge them into CANDS.

GC: 8
14067, 14067 FREE WORDS



 The top Cand is: Fill in some examples of Int-non-empty-struc
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of 
INT-NON-EMPTY-STRUC ,  while trying to Fill in some Compose-first&final
examples)
      (Anyb-exs specifically asked for some examples of 
INT-NON-EMPTY-STRUC ,  while trying to Fill in some 
Map-join-bag-of-strucs&coa-proj2 examples)
      (We have no examples for INT-NON-EMPTY-STRUC yet)
      (Anyb-exs specifically asked for some examples of 
INT-NON-EMPTY-STRUC ,  while trying to Fill in some Obj-equal examples)


      Beginning 24th cycle.

(INT-NON-EMPTY-STRUC-E-DEFN compiling)
(INT-NON-EMPTY-STRUC-E-DEFN (BA1 BA2 BA3) (BA4))

GC: 8
11898, 13431 FREE WORDS
 Won't try to create a restricted interesting version of 
INT-NON-EMPTY-STRUC.

 Filled in examples of INT-NON-EMPTY-STRUC.
       0 examples existed originally on INT-NON-EMPTY-STRUC.
       22 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      (VECTOR A)
      (VECTOR B)
      (VECTOR A A)
      (BAG A)
      (BAG B)
      (BAG A A)
      (CLASS A)
      (CLASS B)
      (OSET A)
      (OSET B)
      (VECTOR BAG)
 After eliminating duplicate and already-known entries,  AM finds that.
 only 11 new,  distinct examples of INT-NON-EMPTY-STRUC had to be added
.



 Do-thresh raised from 262 to 289.

 This Cand used 55.078 cpu seconds.




 The top Cand is: Fill in some examples of 
Map-replace2-set-struc&bag-of-strucs-proj2
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of 
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2 ,  while trying to 
Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of 
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2 ,  while trying to 
Fill in some Map-join-bag-of-strucs&coa-proj2 examples)
      (We have no examples for 
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2 yet)
      (Anyb-exs specifically asked for some examples of 
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2 ,  while trying to 
Fill in some Obj-equal examples)


      Beginning 25th cycle.

(SET-OF-STRUCS-E-DEFN compiling)
(SET-OF-STRUCS-E-DEFN (BA1 BA2 BA3) NIL)
(MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2-E-ALGS compiling)
(MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2-E-ALGS (BA1 BA2 BA3 BA4
BA5) NIL)
(PROJ2-E-ALGS compiling)
(PROJ2-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)

 Record of attempts to find examples:
 An ex ( sought) is: (CLASS (BAG) (BAG))+++++++++++++++++++++++
GC: 8
13492, 13492 FREE WORDS
+++

 Found 26 examples ( and 0 non-exs),  in 2.349 secs.
 A nice ratio of exs/non-exs was encountered for 
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2
 Won't try to create a restricted interesting version of 
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2.

 Filled in examples of MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2.
       0 examples existed originally on 
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2.
       27 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      ((CLASS B) (BAG) (CLASS (BAG)))
      ((CLASS A B) (BAG) (CLASS (BAG) (BAG)))
      ((CLASS) (BAG) (CLASS))
      ((CLASS A) (BAG) (CLASS (BAG)))
      ((CLASS 0 D F I M) (BAG) (CLASS (BAG) (BAG) (BAG) (BAG) (BAG)))
      ((CLASS A B (BAG B) (CLASS)) (BAG) (CLASS (BAG) (BAG) (BAG)
(BAG)))
      ((CLASS DOUG CORDELL BRUCE) (BAG) (CLASS (BAG) (BAG) (BAG)))
 After eliminating duplicate and already-known entries,  AM finds that.
 only 7 new,  distinct examples of 
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2 had to be added.



 Do-thresh raised from 289 to 316.

 This Cand used 20.515 cpu seconds.




 The top Cand is: Fill in some examples of Int-set-struc
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of INT-SET-STRUC
,  while trying to Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of INT-SET-STRUC
,  while trying to Fill in some Map-join-bag-of-strucs&coa-proj2 
examples)
      (We have no examples for INT-SET-STRUC yet)
      (Anyb-exs specifically asked for some examples of INT-SET-STRUC
,  while trying to Fill in some Obj-equal examples)


      Beginning 26th cycle.

(INT-SET-STRUC-E-DEFN compiling)
(INT-SET-STRUC-E-DEFN (BA1 BA2 BA3) (BA4))
 Won't try to create a restricted interesting version of INT-SET-STRUC.

 Filled in examples of INT-SET-STRUC.
       0 examples existed originally on INT-SET-STRUC.
       45 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      (CLASS)
      (CLASS A)
      (CLASS B)
      (CLASS BAG)
 After eliminating duplicate and already-known entries,  AM finds that.
 only 4 new,  distinct examples of INT-SET-STRUC had to be added.



 Do-thresh raised from 316 to 358.

 This Cand used 25.008 cpu seconds.




 The top Cand is: Fill in some examples of Restrict
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of RESTRICT , 
while trying to Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of RESTRICT , 
while trying to Fill in some Map-join-bag-of-strucs&coa-proj2 examples)
      (We have no examples for RESTRICT yet)
      (Anyb-exs specifically asked for some examples of RESTRICT , 
while trying to Fill in some Obj-equal examples)


      Beginning 27th cycle.


 Record of attempts to find examples:
(RESTRICT-E-ALGS compiling)
(RESTRICT-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)

Succeeded! 

 An ex ( sought) is: RESTRICT-COA-PROJ2&INT-SET-STRUC+-
Succeeded! 
+-
Succeeded! 
+
Succeeded! 
+ Walking at 6023  Load av. =  4.16, used 0:21:27.4 in 1:41:35

Succeeded! 
+
Succeeded! 
+
Succeeded! 
+
Succeeded! 
+-
Succeeded! 
+
Succeeded! 
+
Succeeded! 
+----
Succeeded! 
+
Succeeded! 
+-
Succeeded! 
+
Succeeded! 
+--
Succeeded! 
+-
Succeeded! 
+-
Succeeded! 
+
GC: 8
13735, 13735 FREE WORDS

Succeeded! 
+--
Succeeded! 
+

 Found 20 examples ( and 14 non-exs),  in 29.475 secs.
 A nice ratio of exs/non-exs was encountered for RESTRICT
 Won't try to create a restricted interesting version of RESTRICT.

 Filled in examples of RESTRICT.
       0 examples existed originally on RESTRICT.
       20 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      (COA-PROJ2 INT-SET-STRUC RESTRICT-COA-PROJ2&INT-SET-STRUC)
      (MAP-REPLACE2-SET-OF-LISTS&BAG-OF-STRUCS-PROJ2 SET-STRUC 
RESTRICT-MAP-REPLACE2-SET-OF-LISTS&BAG-OF-STRUCS-PROJ2&SET-STRUC)
      (COA-LIST-STRUC-INTERSECT NON-EMPTY-STRUC 
RESTRICT-COA-LIST-STRUC-INTERSECT&NON-EMPTY-STRUC)
      (MAP-JOIN-BAG-OF-STRUCS&IDENTITY INT-NON-EMPTY-STRUC 
RESTRICT-MAP-JOIN-BAG-OF-STRUCS&IDENTITY&INT-NON-EMPTY-STRUC)
      (IDENTITY SET-STRUC RESTRICT-IDENTITY&SET-STRUC)
      (PROJ2 LIST-STRUC RESTRICT-PROJ2&LIST-STRUC)
      (IDENTITY OSET-STRUC RESTRICT-IDENTITY&OSET-STRUC)
      (COMPOSE-STRUCTURE-DELETE&LIST-STRUC-INSERT INT-NON-EMPTY-STRUC
RESTRICT-COMPOSE-STRUCTURE-DELETE&LIST-STRUC-INSERT&INT-NON-EMPTY-STRUC)

      (MAP-REPLACE2-SET-OF-LISTS&SET-STRUC-PROJ2 SET-STRUC 
RESTRICT-MAP-REPLACE2-SET-OF-LISTS&SET-STRUC-PROJ2&SET-STRUC)
      (MAP-REPLACE-LIST-STRUC&COMPOSE-IDENTITY&IDENTITY 
INT-NON-EMPTY-STRUC 
RESTRICT-MAP-REPLACE-LIST-STRUC&COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-
**STRUC)

      (COMPOSE-PROJ2&IDENTITY NON-EMPTY-STRUC 
RESTRICT-COMPOSE-PROJ2&IDENTITY&NON-EMPTY-STRUC)
      (COMPOSE-IDENTITY&IDENTITY SET-OF-LISTS 
RESTRICT-COMPOSE-IDENTITY&IDENTITY&SET-OF-LISTS)
      (MAP-JOIN-BAG-OF-STRUCS&IDENTITY NON-EMPTY-STRUC 
RESTRICT-MAP-JOIN-BAG-OF-STRUCS&IDENTITY&NON-EMPTY-STRUC)
      (COMPOSE-IDENTITY&IDENTITY INT-NON-EMPTY-STRUC 
RESTRICT-COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-STRUC)
      (MAP-REPLACE-NON-EMPTY-STRUC&IDENTITY STRUC-OF-LISTS 
RESTRICT-MAP-REPLACE-NON-EMPTY-STRUC&IDENTITY&STRUC-OF-LISTS)
      (MAP-REPLACE-OSET-STRUC&IDENTITY EMPTY-STRUC 
RESTRICT-MAP-REPLACE-OSET-STRUC&IDENTITY&EMPTY-STRUC)
      (MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-PROJ2 STRUC-OF-STRUCS
RESTRICT-MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-PROJ2&STRUC-OF-STRUCS)
      (BAG-STRUC-JOIN NON-EMPTY-STRUC 
RESTRICT-BAG-STRUC-JOIN&NON-EMPTY-STRUC)
      (MAP-REPLACE-STRUC-OF-LISTS&IDENTITY MULT-STRUC 
RESTRICT-MAP-REPLACE-STRUC-OF-LISTS&IDENTITY&MULT-STRUC)
      (BAG-STRUC-INSERT SET-OF-STRUCS 
RESTRICT-BAG-STRUC-INSERT&SET-OF-STRUCS)
 After eliminating duplicate and already-known entries,  AM finds that.
 all 20 new,  distinct examples of RESTRICT had to be added.



 Do-thresh raised from 358 to 343.

 This Cand used 46.9 cpu seconds.




 The top Cand is: Fill in some examples of Canonize
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of CANONIZE , 
while trying to Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of CANONIZE , 
while trying to Fill in some Map-join-bag-of-strucs&coa-proj2 examples)
      (We have no examples for CANONIZE yet)
      (Anyb-exs specifically asked for some examples of CANONIZE , 
while trying to Fill in some Obj-equal examples)


      Beginning 28th cycle.


 Record of attempts to find examples:
(CANONIZE-E-ALGS compiling)
(CANONIZE-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
------------------------------------------------------------------------
------------------------------------------

 Found 0 examples ( and 114 non-exs),  in 29.007 secs.
 Ratio of exs to non-exs is too low ( 0 / 114); Exs are too sparse.
       AM will sometime try to generalize CANONIZE.
 Won't try to create a restricted interesting version of CANONIZE.

Failed.  Tried to fill in new examples of CANONIZE.

 This Cand used 37.178 cpu seconds.




 The top Cand is: Fill in some examples of Coa-canonize
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of COA-CANONIZE
,  while trying to Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of COA-CANONIZE
,  while trying to Fill in some Map-join-bag-of-strucs&coa-proj2 
examples)
      (We have no examples for COA-CANONIZE yet)
      (Anyb-exs specifically asked for some examples of COA-CANONIZE
,  while trying to Fill in some Obj-equal examples)


      Beginning 29th cycle.

 Sorry, AM ran out of time, trying to find an example of
COA-CANONIZE, which by the way reduces to  CANONIZE, plus 1
 new conditions.

 Record of attempts to find examples:
(COA-CANONIZE-E-ALGS compiling)
(COA-CANONIZE-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
------------------------------------------------------------------------
------------------------------------------------------------------------
-------

 Found 0 examples ( and 151 non-exs),  in 5.432 secs.
 Ratio of exs to non-exs is too low ( 0 / 151); Exs are too sparse.
       AM will sometime try to generalize COA-CANONIZE.
 Won't try to create a restricted interesting version of COA-CANONIZE.

Failed.  Tried to fill in new examples of COA-CANONIZE.

 This Cand used 41.591 cpu seconds.




 The top Cand is: Fill in some examples of Coa-compose
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of COA-COMPOSE
,  while trying to Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of COA-COMPOSE
,  while trying to Fill in some Map-join-bag-of-strucs&coa-proj2 
examples)
      (We have no examples for COA-COMPOSE yet)
      (Anyb-exs specifically asked for some examples of COA-COMPOSE
,  while trying to Fill in some Obj-equal examples)


      Beginning 30th cycle.

π
 52 Cands,  201 Concepts,  Gcnt is 30.

GC: 8
 Walking at 22300  Load av. =  4.04, used 0:23:38.3 in 1:46:51
13590, 13590 FREE WORDS
 Sorry, AM ran out of time, trying to find an example of
COA-COMPOSE, which by the way reduces to  COMPOSE, plus 1
 new conditions.

 Record of attempts to find examples:
(COA-COMPOSE-E-ALGS compiling)
(COA-COMPOSE-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)

 An ex ( sought) is: 
COMPOSE-COMPOSE-IDENTITY&IDENTITY&COMPOSE-IDENTITY&IDENTITY++
 Name of new Being is too long:
 COM- RESTRICT-COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-STRUC & 
RESTRICT-COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-STRUC
+
 Name of new Being is too long:
 COM- RESTRICT-MAP-JOIN-BAG-OF-STRUCS&IDENTITY&INT-NON-EMPTY-STRUC & 
RESTRICT-MAP-JOIN-BAG-OF-STRUCS&IDENTITY&INT-NON-EMPTY-STRUC
+
 Name of new Being is too long:
 COM- MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-COMPOSE-PROJ2&IDENTITY & 
MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-COMPOSE-PROJ2&IDENTITY


 AM can later coalesce the D-R of 
COM-MAP-REPL-OSET-STRU&BAG-OF-STRU-COMP-PROJ&IDEN&MAP-REPL-OSET-STRU&BAG
**-OF-STRU-COMP-PROJ&IDEN
.

ATOM TOO LONG

(PACK broken)
:RETURN 'FRED
PACK = FRED

ATOM TOO LONG

(PACK broken)
:RETFROM(PACK FRED)

ATOM TOO LONG

(PACK broken)
:RETFROM(PACK FRED)

ATOM TOO LONG

(PACK broken)
:BT
PACK
GLUEE
BLOWUP-COMPOSE
COM-ALGS
COMPOSE-E-ALGS
PROGN
APPLY
SELECTQ
COMPOSE
COA-COMPOSE-E-ALGS
PROGN
APPLY
SELECTQ
COA-COMPOSE
APPLYB
EVAL
AC-EXS-FILLIN1
ACTIVE-EXS-E-FILLIN1
PROGN
APPLY
SELECTQ
ACTIVE-EXS
FILLIN1
FILLIN
EVAL
XEQ-CAND
TLOOP
**TOP**

:ARGLIST(PACK)
(U V W)
:
U
(
COM-MAP-REPL-OSET-STRU&BAG-OF-STRU-COMP-PROJ&IDEN&MAP-REPL-OSET-STRU&BAG
**-OF-STRU-COMP-PROJ&IDEN
-E- DEFN)
:RETFROM(GLUEE C-E-DEFN]
+

 AM can later coalesce the D-R of 
COMPOSE-COMPOSE-MAP-REPLACE&IDENTITY&COMPOSE-MAP-REPLACE&IDENTITY.
+-+

 AM can later coalesce the D-R of 
COMPOSE-COMPOSE-IDENTITY&MAP-JOIN&COMPOSE-IDENTITY&MAP-JOIN.
++
 Name of new Being is too long:
 COM- 
RESTRICT-MAP-REPLACE-LIST-STRUC&COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-
**STRUC
 & 
RESTRICT-MAP-REPLACE-LIST-STRUC&COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-
**STRUC


ATOM TOO LONG

(PACK broken)
:RETFROM(GLUEE C-E-DEFN]

ILLEGAL STACK ARG
GLUEE
(PACK broken)
:BT
PACK
ABBREV1
GLUE-IF-ABLE
GLUEC
ALREADY-COMPOSED
COM-ALGS
COMPOSE-E-ALGS
PROGN
APPLY
SELECTQ
COMPOSE
COA-COMPOSE-E-ALGS
PROGN
APPLY
SELECTQ
COA-COMPOSE
APPLYB
EVAL
AC-EXS-FILLIN1
ACTIVE-EXS-E-FILLIN1
PROGN
APPLY
SELECTQ
ACTIVE-EXS
FILLIN1
FILLIN
EVAL
XEQ-CAND
TLOOP
**TOP**

:RETFROM(PACK EEE1)
-

 Found 9 examples ( and 2 non-exs),  in 40.029 secs.
 A nice ratio of exs/non-exs was encountered for COA-COMPOSE

 Creating new Being,  similar to COA-COMPOSE,  named INT-COA-COMPOSE,  
but restricted so as to make it more interesting.
       An INT-COA-COMPOSE is any COA-COMPOSE for which (In canonical
interpretation, Range-of-op2 is a component of Domain of op1 ; And,
also: In canonical interpretation, Range-of-op1 is one component of
Domain-of-op2).

 Filled in examples of COA-COMPOSE.
       0 examples existed originally on COA-COMPOSE.
       9 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      (COMPOSE-IDENTITY&IDENTITY 
COMPOSE-COMPOSE-IDENTITY&IDENTITY&COMPOSE-IDENTITY&IDENTITY)
      (COA-COMPOSE COMPOSE-COA-COMPOSE&COA-COMPOSE)
      (RESTRICT-COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-STRUC 
COM-REST-COMP-IDEN&IDEN&INT-NON-EMPT-STRU&REST-COMP-IDEN&IDEN&INT-NON-EM
**PT-STRU)

      (RESTRICT-MAP-JOIN-BAG-OF-STRUCS&IDENTITY&INT-NON-EMPTY-STRUC

COM-RES-MAP-JOI-BAG-OF-STR&IDE&INT-NON-EMP-STR&RES-MAP-JOI-BAG-OF-STR&ID
**E&INT-NON-EMP-STR)

      (MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-COMPOSE-PROJ2&IDENTITY

COM-MAP-REPL-OSET-STRU&BAG-OF-STRU-COMP-PROJ&IDEN&MAP-REPL-OSET-STRU&BAG
**-OF-STRU-COMP-PROJ&IDEN)

      (COMPOSE-MAP-REPLACE&IDENTITY 
COMPOSE-COMPOSE-MAP-REPLACE&IDENTITY&COMPOSE-MAP-REPLACE&IDENTITY)
      (RESTRICT-IDENTITY&SET-STRUC 
COMPOSE-RESTRICT-IDENTITY&SET-STRUC&RESTRICT-IDENTITY&SET-STRUC)
      (COMPOSE-IDENTITY&MAP-JOIN 
COMPOSE-COMPOSE-IDENTITY&MAP-JOIN&COMPOSE-IDENTITY&MAP-JOIN)
 After eliminating duplicate and already-known entries,  AM finds that.
 only 8 new,  distinct examples of COA-COMPOSE had to be added.



 Do-thresh raised from 341 to 347.

 This Cand used 90.183 cpu seconds.




 The top Cand is: Fill in some examples of Coa-map-replace2
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of COA-MAP-REPLACE2
,  while trying to Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of COA-MAP-REPLACE2
,  while trying to Fill in some Map-join-bag-of-strucs&coa-proj2 
examples)
      (We have no examples for COA-MAP-REPLACE2 yet)
      (Anyb-exs specifically asked for some examples of COA-MAP-REPLACE2
,  while trying to Fill in some Obj-equal examples)


      Beginning 31st cycle.

 Sorry, AM ran out of time, trying to find an example of
COA-MAP-REPLACE2, which by the way reduces to  MAP-REPLACE2, plus 1
 new conditions.
 Walking at 1460  Load av. =  4.94, used 0:26:04.4 in 2:09:51